Fiona: A Tool to Analyze Interacting Open Nets
نویسندگان
چکیده
Fiona is a tool that has been designed to check behavioral correctness of a service and to analyze the interaction of services in service oriented architectures, for instance. It implements very efficient data structures and algorithms, which have partly been adapted from LoLA. Fiona has been proven to be applicable in practice by service designers, service publishers, and service brokers. This tool paper describes the functionality of Fiona and provides an insight into its architecture.
منابع مشابه
Hybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In ...
متن کاملWoPeD 2.0 goes BPEL 2.0
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to edit, simulate and analyze workflow nets, providing a useful instrument in particular for research and educational purposes. This paper gives an overview to the current features of the tool, in particular on the newly-...
متن کاملModeling and Analysis of a Real-Time System Using the Networks of Extended Petri
In this paper, we propose to study and analyze the tasks of a robot and the interaction with its environment, by using the power of Petri nets modelling, especially the timed nets. Our system consists of a robot, a programmable automaton and a computer. We consider the execution of the tasks taking into account the temporal constraints. So, we use the temporal Petri nets to model the whole syst...
متن کاملOn the notion of deadlocks in open nets
Before a system is built in Service Oriented Computing from interacting services, it is modeled and verified with regard to different behavioral correctness criteria, among others, deadlock freedom. For this purpose, open nets as a special class of Petri nets are frequently used. In this paper, we present and compare three formalizations of when two services interact deadlock freely. We specifi...
متن کاملHYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several functions and structures already defined in Matlab, such as optimization routines, stochastic functions, matrices and arrays, etc. The tool can also be easily interfaced with other Matlab programs and be used for anal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008